@InProceedings{SantiagoJúniorVijFerGuiCos:2012:AuMoTe,
               author = "Santiago J{\'u}nior, Valdivino Alexandre de and Vijaykumar, 
                         Nandamudi Lankalapalli and Ferreira, {\'E}rica and 
                         Guimar{\~a}es, Danielle Souza and Costa, Raffael Carvalho da",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "GTSC: Automated Model-Based Test Case Generation from Statecharts 
                         and Finite State Machines",
            booktitle = "Anais...",
                 year = "2012",
                pages = "25--30",
         organization = "Congresso Brasileiro de Software: Teoria e Pr{\'a}tica, 3. 
                         (CBSoft).",
  conference-location = "Natal-RN",
      conference-year = "2012",
                label = "lattes: 5039690360728170 1 
                         SantiagoJ{\'u}niorVijFerGuiCos:2012:AuMoTe",
             language = "en",
           targetfile = "santiago junior_gtsc.pdf",
        urlaccessdate = "30 abr. 2024"
}